紧致性定理的纯语义证明

紧致性是一阶模型论的重要性质之一,本文给出紧致性定理的一个比较完整的纯语义证明。     

Na_（0．5）Bi_（4．5）Ti_4O_（15）晶体的熔盐法合成及其显微结

本文介绍了熔盐法合成ＮＢＴ晶体的过程以及用电子显微镜对ＮＢＴ晶体颗粒形貌、大小的观察结果．讨论了合成温度、保温时间和熔剂浓度对ＮＢＴ晶体颗粒形貌和大小的影响．     

星星草Puccinellia tenuiflora（Turcz.）Scribn.et Merr.解剖研究

利用扫描电镜技术，研究了星星草Ｐｕｃｃｉｎｅｌｌｉａｔｅｎｕｉｆｌｏｒａ（Ｔｕｒｃｚ．）Ｓｃｒｉｂｎ．ｅｔＭｅｒｒ．的营养器官，发现其根、茎、叶各部器官的组织具有显著的旱生结构特征，即根的皮层细胞破裂，形成发达的通气组织￣［１］；茎的表皮细胞排列紧密，角质层很厚，维管束不成两轮排列，而星散分布于基本组织中，髓腔较小；叶的表皮具乳突状表皮毛，泡状细胞数目较少，且深陷。叶脉维管束鞘不为典型的Ｃ＿３植物结构，两层维管束鞘的细胞壁厚度相等，内层维管束鞘壁并不加厚，外层维管束鞘含叶绿体。这些特征都表明星星草受外界生态因素影响，而演化出各种各样的形态结构来适应所生长的客观生态环境￣［２］。     

日本数字调速阀静动态性能的研究

介绍了近年来日本数字阀的研究情况。分析了日本东京计器公司生产的一种新型数字调速阀的结构和工作原理，并在此基础上，对该阀进行了静动态特性的理论分析、数字仿真和实验研究。     

矿井合理掘进率的确定方法

合理掘进率对矿井采掘平衡具有重要的作用。本文通过矿井采掘工作过程的分析，提出了不同类型矿井合理掘进率的确定方法。     

煤炭基建局MIS总体设计实践

本文应用软件工程的理论和方法对煤炭基建局现行管理系统进行了数据分析、业务流程分析及组织划分与职能划分的合理性分析，在分析的基础上确定了煤炭基建ＭＩＳ的系统目标，设计出了系统模块及系统结构。     

摆动式混合机性能研究

三维摆动混合机（简称ＳＢＨ混合机）是一种新型高效的粉体混合设备。该机能适用于上百种不同物料（例如药品，陶瓷以及布丁粉等）的混合。因其采用了一种全新的运动学原理，即除了平移和转动这两种基本运动之外，又引入了可倒置的第三种运动，故具有极高效率。此种独特的可倒置翻滚运动特别有利于解决粉体加工工艺中，诸如混合效率与混合均度的问题。ＳＢＨ混合机适用于医药、染料、农药、化工、食品、石油、冶金矿山、烟火、炸药、复合肥料、陶瓷等工业部门以及农业种子和饲料部门的粉粒料混合。文中主要介绍该机的工作原理，结构性能及其它特点，为我国粉体加工工业的设备更新提供了一种新的途径。     

微波等离子体CVD金刚石薄膜的显微结构

用扫描电镜（ＳＥＭ）和透射电镜（ＴＥＭ）对６种微波等离子体ＣＶＤ金刚石薄膜的表面形貌和显微结构进行了研究，结果表明：在金刚石晶粒长大过程中，（１１１）面方向长大时产生密度很高的微挛晶缺陷，而（１００）面方向长大时产生的晶体缺陷较少。